1. Complexity of proofs and their transformations in axiomatic theories /
المؤلف: V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
O7413
1993

